ONOFF
划词翻译
导航
建议反馈
词典App

semantic interpretation中文是什么意思

  • 语义解释

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

  • 例句与用法
  • Cultural psychological analysis of camel xiangzi and semantic interpretation
    的文化心理分析与语义诠释
  • A comparison on the semantic interpretation and formalization of generic sentences
    概称句的语义解释及形式化比较研究
  • Naturally , we expect the semantic interpretation and operation to be constant across such providers
    我们自然期望在这样的提供者之间语义解释和操作都能保持一致。
  • The definitions of syntax structure , semantic interpretation , knowledge base form and reasoning problems based on satisfiability are given for the extended fuzzy description logic
    定义了扩展模糊描述逻辑的语法结构、语义解释、知识库形式以及基于可满足性的推理问题。
  • By such a formalization , a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications , which forms the continuation of the previous work on formalization of uml class diagrams in rsl . this allows the definition of uml semantic interpretations that are precise and unambiguous , and also enhancing the readability , conciseness and abstraction of the resulting rsl specification
    通过这一形式化提出了一种对图形化的uml状态机视图模型的形式化和rsl规范进行集成的框架,这一工作是对uml类图在rsl中形式化的继续,使得人们可以对uml的非形式化模型给出一种精确无二义性的语义解释,同时也提高了rsl规范的抽象层次,增强了其可读性简明性。
  • Part three the study of lattice - valued modal first - order logic system and its resolution principle in this part , we introduced quantifiers and predicate into lmp ( x ) , put up lattice - valued modal first - order logic system lmf ( x ) , and gave its semantic interpretation and syntax structure , proved soundness theorem and consistence theorem . moreover , in order to judge the satisfiability of formula , defined skolem standard type and h - interpretation . based on these work , made a primary discussion of a - resolution principle based on lmf ( x )
    第三部分:关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统lmp队)中引进量词和谓词,建立格值模态一阶逻辑系统lmf (广并给出其语又解释和语法结构,证明了系统的可靠性和协调性;另外,为了判断公式的可满足性,定义了格值模态一阶公式的skolem标准型和体解释;在此基础上,对基于系统lmf ( )的a一归结原理进行了初步探讨
  • Part two the study of lattice - valued tense propositional logic system and its resolution method the main work of this part is to introduce four tense operators e ( ever ) , f ( will ) , h ( ever always ) and g ( will always ) into lp ( x ) , put up lattice - valued tense propositional logic system ltp ( x ) which takes time axis as language circumstance , gave detailed semantic interpretation and syntax structure , and discussed some properties of it , then proved soundness theorem and consistence theorem . furthermore , studied ( a , t ) - resolution principle which is related to time , gave some rules of computing tense resolvent , and put forward the method of tense resolution
    第二部分:关于格值时态命题逻辑系统及其归结方法的研究此部分的主要工作是在格值命题逻辑系统lp ( x )中引进时态算子e (曾经) 、 f (将会)及其对偶算子h (曾经总是) 、 g (将会总是) ,提出了以时轴为语境的格值时态命题逻辑系统ltp ( x ) ,并给出其具体的语义解释和语法结构,并讨论了它的一些性质,证明了该系统的可靠性和协调性。
  • 百科解释
Semantic interpretation is an important component in dialog systems. It is related to natural language understanding, but mostly its refers to the last stage of understanding.
详细百科解释
  • 其他语种释义
  • 推荐英语阅读
semantic interpretation的中文翻译,semantic interpretation是什么意思,怎么用汉语翻译semantic interpretation,semantic interpretation的中文意思,semantic interpretation的中文semantic interpretation in Chinesesemantic interpretation的中文semantic interpretation怎么读,发音,例句,用法和解释由查查在线词典提供,版权所有违者必究。
Last modified time:Tue, 12 Aug 2025 00:29:56 GMT

说出您的建议或使用心得